Effective problem solving using SAT solvers

In this article we demonstrate how to solve a variety of problems and puzzles using the built-in SAT solver of the computer algebra system Maple. Once the problems have been encoded into Boolean logic, solutions can be found (or shown to not exist) automatically, without the need to implement any search algorithm. In particular, we describe how to solve the $n$-queens problem, how to generate and solve Sudoku puzzles, how to solve logic puzzles like the Einstein riddle, how to solve the 15-puzzle, how to solve the maximum clique problem, and finding Graeco-Latin squares.Comment: To appear in Proceedings of the Maple Conference 201

π+\pi^+ photoproduction on the proton for photon energies from 0.725 to 2.875 GeV

Differential cross sections for the reaction $\gamma p \to n \pi^+$ have been measured with the CEBAF Large Acceptance Spectrometer (CLAS) and a tagged photon beam with energies from 0.725 to 2.875 GeV. Where available, the results obtained here compare well with previously published results for the reaction. Agreement with the SAID and MAID analyses is found below 1 GeV. The present set of cross sections has been incorporated into the SAID database, and exploratory fits have been made up to 2.7 GeV. Resonance couplings have been extracted and compared to previous determinations. With the addition of these cross sections to the world data set, significant changes have occurred in the high-energy behavior of the SAID cross-section predictions and amplitudes.Comment: 18 pages, 10 figure

Search for the Θ+\Theta^+ pentaquark in the reaction γd→pK−K+n\gamma d \to p K^- K^+ n

A search for the \thp in the reaction $\gamma d \to pK^-K^+n$ was completed using the CLAS detector at Jefferson Lab. A study of the same reaction, published earlier, reported the observation of a narrow \thp resonance. The present experiment, with more than 30 times the integrated luminosity of our earlier measurement, does not show any evidence for a narrow pentaquark resonance. The angle-integrated upper limit on \thp production in the mass range of 1.52 to 1.56 GeV/c$^2$ for the $\gamma d \to pK^-\Theta^+$ reaction is 0.3 nb (95% CL). This upper limit depends on assumptions made for the mass and angular distribution of \thp production. Using \lamstar production as an empirical measure of rescattering in the deuteron, the cross section upper limit for the elementary $\gamma n \to K^-\Theta^+$ reaction is estimated to be a factor of 10 higher, {\it i.e.}, $\sim 3$ nb (95% CL).Comment: 5 figures, submitted to PRL, revised for referee comment

Differential cross sections and spin density matrix elements for the reaction gamma p -> p omega

High-statistics differential cross sections and spin density matrix elements for the reaction gamma p -> p omega have been measured using the CLAS at Jefferson Lab for center-of-mass (CM) energies from threshold up to 2.84 GeV. Results are reported in 112 10-MeV wide CM energy bins, each subdivided into cos(theta_CM) bins of width 0.1. These are the most precise and extensive omega photoproduction measurements to date. A number of prominent structures are clearly present in the data. Many of these have not previously been observed due to limited statistics in earlier measurements

Preventing Chronic Disease

ESSAY Suggested citation for this article: Abstract Colorectal cancer is the second leading cause of cancerrelated mortality among U.S. adults. In 2004, treatment costs for colorectal cancer were $8.4 billion. There is substantial evidence that colorectal cancer incidence and mortality are reduced with regular screening. The natural history of this disease is also well described: most colorectal cancers develop slowly from preexisting polyps. This slow development provides an opportunity to intervene with screening tests, which can either prevent colorectal cancer through the removal of polyps or detect it at an early stage. However, much less is known about how best to implement an effective colorectal cancer screening program. Screening rates are low, and uninsured persons, low-income persons, and persons who have not visited a physician within a year are least likely to be screened. This article describes briefly this demonstration program and the process CDC used to design it and to select program sites. The multiple-methods evaluation now under way to assess the program's feasibility and describe key outcomes is also detailed. Evaluation results will be used to inform future activities related to organized screening for colorectal cancer

Photodisintegration of 4^4He into p+t

The two-body photodisintegration of $^4$He into a proton and a triton has been studied using the CEBAF Large-Acceptance Spectrometer (CLAS) at Jefferson Laboratory. Real photons produced with the Hall-B bremsstrahlung-tagging system in the energy range from 0.35 to 1.55 GeV were incident on a liquid $^4$He target. This is the first measurement of the photodisintegration of $^4$He above 0.4 GeV. The differential cross sections for the $\gamma$$^4$He$\to pt$ reaction have been measured as a function of photon-beam energy and proton-scattering angle, and are compared with the latest model calculations by J.-M. Laget. At 0.6-1.2 GeV, our data are in good agreement only with the calculations that include three-body mechanisms, thus confirming their importance. These results reinforce the conclusion of our previous study of the three-body breakup of $^3$He that demonstrated the great importance of three-body mechanisms in the energy region 0.5-0.8 GeV .Comment: 13 pages submitted in one tgz file containing 2 tex file and 22 postscrip figure

π0\pi^0 photoproduction on the proton for photon energies from 0.675 to 2.875 GeV

Differential cross sections for the reaction $\gamma p \to p \pi^0$ have been measured with the CEBAF Large Acceptance Spectrometer (CLAS) and a tagged photon beam with energies from 0.675 to 2.875 GeV. The results reported here possess greater accuracy in the absolute normalization than previous measurements. They disagree with recent CB-ELSA measurements for the process at forward scattering angles. Agreement with the SAID and MAID fits is found below 1 GeV. The present set of cross sections has been incorporated into the SAID database, and exploratory fits have been extended to 3 GeV. Resonance couplings have been extracted and compared to previous determinations.Comment: 18 pages, 48 figure

Exclusive ρ0\rho^0 electroproduction on the proton at CLAS

The $e p\to e^\prime p \rho^0$ reaction has been measured, using the 5.754 GeV electron beam of Jefferson Lab and the CLAS detector. This represents the largest ever set of data for this reaction in the valence region. Integrated and differential cross sections are presented. The $W$, $Q^2$ and $t$ dependences of the cross section are compared to theoretical calculations based on $t$-channel meson-exchange Regge theory on the one hand and on quark handbag diagrams related to Generalized Parton Distributions (GPDs) on the other hand. The Regge approach can describe at the $\approx$ 30% level most of the features of the present data while the two GPD calculations that are presented in this article which succesfully reproduce the high energy data strongly underestimate the present data. The question is then raised whether this discrepancy originates from an incomplete or inexact way of modelling the GPDs or the associated hard scattering amplitude or whether the GPD formalism is simply inapplicable in this region due to higher-twists contributions, incalculable at present.Comment: 29 pages, 29 figure

First Measurement of Beam-Recoil Observables Cx and Cz in Hyperon Photoproduction

Spin transfer from circularly polarized real photons to recoiling hyperons has been measured for the reactions $\vec\gamma + p \to K^+ + \vec\Lambda$ and $\vec\gamma + p \to K^+ + \vec\Sigma^0$. The data were obtained using the CLAS detector at Jefferson Lab for center-of-mass energies $W$ between 1.6 and 2.53 GeV, and for $-0.85<\cos\theta_{K^+}^{c.m.}< +0.95$. For the $\Lambda$, the polarization transfer coefficient along the photon momentum axis, $C_z$, was found to be near unity for a wide range of energy and kaon production angles. The associated transverse polarization coefficient, $C_x$, is smaller than $C_z$ by a roughly constant difference of unity. Most significantly, the {\it total} $\Lambda$ polarization vector, including the induced polarization $P$, has magnitude consistent with unity at all measured energies and production angles when the beam is fully polarized. For the $\Sigma^0$ this simple phenomenology does not hold. All existing hadrodynamic models are in poor agreement with these results.Comment: 28 pages, 18 figures, Submitted to Physical Review